TAGs: subtracting integers